Prólogo: cómo eliminar cada segundo elemento de una lista

Esta es más o menos la respuesta de Landei en la sintaxis específica de Prolog:
r ([], []).
r ([X], [X]).
r ([X, _ | Xs], [X | Ys]): - r (Xs, Ys).
El segundo predicado no es necesario.
|
Solución alternativa usando foldl / 4:
fold_step (Elemento, verdadero: [Elemento | Cola], falso: Cola).
fold_step (_Item, false: Tail, true: Tail).
impar (lista, impar): -
foldl (paso_doblado, Lista, verdadero: impar, _: []).
Uso:
? - impar ([1, 2, 3, 4, 5, 6, 7], impar).
Impar = [1, 3, 5, 7]
La idea es revisar la lista, manteniendo la bandera "impar / par" y volteando su valor (falso -> verdadero, verdadero -> falso) en cada elemento. También construimos gradualmente la lista, agregando aquellos elementos que tienen el indicador "impar / par" igual a verdadero y omitiendo otros.
|
Esta excelente respuesta de @ code_x386 utiliza listas de diferencias y foldl / 4.
Usemos solo una cláusula fold_step / 3 y hagamos la relación más general, así:
fold_step (X, [X | Xs] + Ys, Ys + Xs).
list_odds_evens (lista, probabilidades, pares): -
foldl (paso_doblar, Lista, Cuotas + Pares, [] + []).
Consultas de muestra:
? - list_odds_evens ([a, b, c, d, e, f], probabilidades, pares).
Pares = [b, d, f], Probabilidades = [a, c, e]
? - list_odds_evens ([a, b, c, d, e, f, g], probabilidades, pares).
Pares = [b, d, f], Probabilidades = [a, c, e, g]
Editar
¿Por qué no usar una cláusula menos y eliminar el predicado fold_step / 3?
lambda al rescate!
: - use_module (biblioteca (lambda)).
list_odds_evens (lista, probabilidades, pares): -
foldl (\ X ^ ([X | Xs] + Ys) ^ (Ys + Xs) ^ verdadero, Lista, Probabilidades + Pares, [] + []).
|
Otra posibilidad es utilizar los DCG, que suelen ser una consideración importante al describir listas:
list_oddindices (L, O): -
frase (índices impares (L), O). % la lista O se describe con índices impares // 1
Oddindices ([]) ->% si L está vacío
[]. % O también está vacío
Oddindices ([X]) ->% si L solo tiene un elemento
[X]. % está en O
oddindices ([O, _E | OEs]) ->% si la cabeza de L consta de al menos dos elementos
[O],% el primero está en O
índices extraños (OE). % lo mismo vale para la cola
Esto es ciertamente menos elegante que las soluciones que utilizan foldl / 4, pero el código es muy fácil de leer, pero resuelve la tarea descrita por el OP y también funciona en ambos sentidos:
? - list_oddindices ([1,2,3,4,5,6,7], O).
O = [1, 3, 5, 7];
falso.
? - list_oddindices (L, [1,3,5,7]).
L = [1, _G4412, 3, _G4418, 5, _G4424, 7];
L = [1, _G4412, 3, _G4418, 5, _G4424, 7, _G4430];
falso.
|
No tengo Prolog aquí para probarlo, y me he oxidado un poco, pero debería estar en la línea de
r ([]): - [].
r ([X]): - [X].
r ([X, Y | Z]): - R = r (Z), [X | R].
[Editar]
Por supuesto que la almohadilla es correcta. Mi solución funcionaría en lenguajes funcionales como Haskell o Erlang:
- Haskell
r [] = []
r [x] = [x]
r (x: _: xs) = x: (r xs)
En Prolog, debe "tirar" de los lados derechos en la lista de argumentos para activar la unificación.
|
Tu respuesta
StackExchange.ifUsing ("editor", function () {
StackExchange.using ("editor externo", función () {
StackExchange.using ("fragmentos", función () {
StackExchange.snippets.init ();
});
});
}, "fragmentos de código");
StackExchange.ready (function () {
var channelOptions = {
etiquetas: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("editor externo", función () {
// Debe activar el editor después de los fragmentos, si los fragmentos están habilitados
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("fragmentos", función () {
createEditor ();
});
}
else {
createEditor ();
}
});
function createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: false,
heartbeatType: 'respuesta',
autoActivateHeartbeat: falso,
convertImagesToLinks: verdadero,
noModals: cierto,
showLowRepImageUploadWarning: true,
reputacionToPostImages: 10,
bindNavPrevention: verdadero,
sufijo: "",
imageUploader: {
brandingHtml: "Desarrollado por \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.725645.4305.168 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419C32.492 14.648.942348 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.5454.5C35.8 3520.49455C35.8 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = \" evenodd \ "d = \ "M25.6622 17.6335C27.8049 17.6335 29.373916.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.66231 28.4555 4.94978 28.1109 5.50789C27.499 11.86533 25.7413.15 13.58789C27.499 4.86533 45.7413.00 21936 13,913 25,3754 27,4607 13,4902 13.913C26.5612 28.1109 13.913 12.6616C28.1109 28.1161 12.7799 12.7229 28.121 12.8346C28.1256 12,8854 28,1301 12,9342 28,1301 27,2502 15,2321 12.983C28.1301 25.777 14.4373 15.2321C24.8349 24.1352 14.9821 23.5661 15.2321 14.7787C23.176 22.8472 14.5218 22.5437 14.6393 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335ZM24.1317 9.27932C24.1317 7.94324 24.9928 7.09766 26.1024 7.09766C27.2119 7.09766 26.0928.5911.2 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.8962 19.8079 13.2535 19.8079 11.9512V8.12928C19.8079 5.82936 18.4879 4.62866 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9.34336 4.62866 10.3573 4.62866C9.34336 7,62831C12.653 4.62866C9.34336 4,628996 8,57.9780 4,62866C9.34336 7,6289931C 4.66232 5.00066 5.28821 5.00066 6.59049V11.9512C5.00066 13.2535 5.47873 13.8962 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7.58817 8.44431 6.91179 9.53458 6.91179C10.510.5104 6.91179 9.53458 6.91179C10.510.5104 6.91179 9.53458 6.91179C10.54.8104 6.91179 13.8911 13.8962C13.4375 13.8962 13.9157 13.2535 13.9157 11.9512V8.90741C13.9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z \ "/ \ u003e \ u00753c3.388" / \ u003e \ u00753c3c3 4.66232 1.82471 4.66232C0.791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59 049Z \ "/ \ u003e \ u003cpath d = \" M1.87209 0.400291C0.843612 0.400291 0 1.1159 0 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 2.97234 2.87869 3.7234 1.98861C3.722034 1.91159 "llenar = \ "# 1BB76E \" / \ u003e \ u003c / svg \ u003e \ u003c / a \ u003e ",
contentPolicyHtml: "Contribuciones de usuario con licencia bajo \ u003ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \" https://stackoverflow.com / legal / content-policy \ "\ u003e (política de contenido) \ u003c / a \ u003e",
allowUrls: verdadero
},
onDemand: verdadero,
discardSelector: ".discard-answer"
, inmediatamenteShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
¡Gracias por contribuir con una respuesta a Stack Overflow!
Asegúrese de responder la pregunta. ¡Proporcione detalles y comparta su investigación!
Pero evita ...
Pedir ayuda, aclaraciones o responder a otras respuestas.
Hacer declaraciones basadas en opiniones; respóndelos con referencias o experiencia personal.
Para obtener más información, consulte nuestros consejos sobre cómo escribir buenas respuestas.
Borrador guardado
Borrador descartado
Regístrate o inicia sesión
StackExchange.ready (function () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Regístrese con Google
Registrarse usando Facebook
Regístrese con correo electrónico y contraseña
Enviar
Publicar como invitado
Nombre
Email
Requerido, pero nunca mostrado
StackExchange.ready (
function () {
StackExchange.openid.initPostLogin ('. New-post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f5935133% 2fprolog-how-to-remove-every-second-element-of-a-list% 23new-answer ',' question_page ');
}
);
Publicar como invitado
Nombre
Email
Requerido, pero nunca mostrado
Publica tu respuesta
Descarte
Al hacer clic en "Publicar su respuesta", acepta nuestros términos de servicio, política de privacidad y política de cookies.
No es la respuesta que estás buscando? Examine otras preguntas etiquetadas lista prólogo o haga su propia pregunta.